Revisiting the formal foundation of Probabilistic Databases
نویسندگان
چکیده
One of the core problems in soft computing is dealing with uncertainty in data. In this paper, we revisit the formal foundation of a class of probabilistic databases with the purpose to (1) obtain data model independence, (2) separate metadata on uncertainty and probabilities from the raw data, (3) better understand aggregation, and (4) create more opportunities for optimization. The paper presents the formal framework and validates data model independence by showing how to a obtain probabilistic Datalog as well as a probabilistic relational algebra by applying the framework to their non-probabilistic counterparts. We conclude with a discussion on the latter three goals.
منابع مشابه
Probabilistic Computational Trust
We argue briefly for the role of computational trust in ubiquitous computing, and in particular for the need of a formal foundation for computational trust. We provide two examples towards such a foundation: a formal foundation for a some probabilistic approaches from the literature, and a formal framework for comparing probabilistic
متن کاملProbabilistic Evaluation on the Free Vibration of Functionally Graded Material Plates Using 3D Solution and Meta-Model Methods
This paper presents a probabilistic assessment on the free vibration analysis of functionally graded material plates, including layers with magneto-electro-elastic properties, using the 3D solution and surrogate models. The plate is located on an elastic foundation and the intra-layer slipping effect is also considered in the analysis by employing the generalized intra-layer spring model. Due t...
متن کاملFormal Foundation of Information Retrieval
In any information retrieval system, retrieval is based on some formal model. Apart from a few − non-classical − models (which are relatively newer), every other model ultimately relies on two basic models: vector space, and probabilistic (two early and classical models). Hence the vector space and probabilistic models are of a fundamental importance, and thus a unified formal definition for th...
متن کاملRevisiting the Past: Contribution of Counter-narratives in Liminal Formation of Identity in Yasmin Crowther's The Saffron Kitchen
In diasporic literature the question of identity is tangled with the question of history. This study aims at discussing how Yasmin Crowther reviews the Persian tradition in The Saffron Kitchen, her autobiographical novel which is mainly set-in early 60s, Iran. The novel focuses on evoking and rewriting history by using different types of counter narratives that contrast with Iranian hegemonic d...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کامل